Multiple Kernels on a Single System
lwn.net·18h·
Discuss: Hacker News
⚙️Operating System Design
The IBM POWER9, liquid-cooled AMD EPYC 8004, 100G RDMA datapaths rack
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Kernel: Introduce Multikernel Architecture Support
lore.kernel.org·10h·
⚙️Operating System Design
Is Oreon Linux a True Red Hat Enterprise Alternative?
thenewstack.io·1d
📦Unikernel Systems
Everything you need to know about monorepos, and the tools to build them
monorepo.tools·5h·
Discuss: Hacker News
🔄Reproducible Builds
A long look at NetBSD 10.1
distrowatch.com·3h·
🔬Unikernels
Garbage Collection (GC) Pauses: A "stop-the-world" GC pause in a critical service
howtech.substack.com·23h·
Discuss: r/programming
📊Runtime Verification
The story of Musium
ruudvanasseldonk.com·2h·
🔬Unikernels
Parallelism Strategies in Deep Learning
afmck.in·3h·
Discuss: Hacker News
🧩Separation Logic
Show HN: Ida Swarm – Multi-agent AI system for automated reverse engineering
github.com·12h·
Discuss: Hacker News
🛡️seL4
Multikernel architecture proposed for Linux
osnews.com·23h·
🔬Unikernels
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·1d·
Discuss: Hacker News
🔬Unikernels
KDE Development on Bazzite
blues.win·2d·
Discuss: Hacker News
🔬Unikernels
Genode-based Atari-8-Bit IDE (DS2025)
cdn.media.ccc.de·1d
💾Retro Computing
Plan 9: The Infinity Notebook
lifeofpenguin.blogspot.com·1d·
Discuss: Hacker News
📺Vintage Apple
Apple Silicon GPU Support in Mojo
forum.modular.com·21h·
🍎XNU Internals
Towards Robust Agentic CUDA Kernel Benchmarking, Verification, and Optimization
arxiv.org·3d
📊Runtime Verification
DXGI debugging: Microsoft put me on a list
slugcat.systems·1d·
📦Unikernel Systems
NixCon 2025 Trip Report
michael.stapelberg.ch·1d·
❄️NixOS